#include<stdio.h>
void main()
{
	char ch1,ch2;
	ch1 = getchar();
	ch2 = getchar();

	putchar(ch1+32);
	putchar(ch2+32);

	putchar('\n');
}